A Logic for Uncertain Probabilities
نویسنده
چکیده
In standard logic, propositions are considered to be either true or false. However, a fundamental aspect of the human condition is that nobody can ever determine with absolute certainty whether a proposition about the world is true or false. In addition, whenever the truth of a proposition is assessed, it is always done by an individual, and it can never be considered to represent a general and objective belief. This indicates that important aspects are missing in the way standard logic captures our perception of reality, and that it is more designed for an idealised world than for the subjective world in which we are all living. Several alternative calculi and logics which take uncertainty and ignorance into consideration have been proposed and quite successfully applied to practical problems where conclusions have to be made based on insufficient evidence (see for example Hunter 1996 or Motro & Smets 1997 for an analysis of some uncertainty logics and calculi). Although including uncertainty in the belief model is a significant step forward, it only goes half the way in realising the real nature of human beliefs. It is also necessary to take into account that beliefs always are held by individuals and that beliefs for this reason are fundamentally subjective. In this paper we describe subjective logic (see Jøsang 1997 for an earlier version) as a logic which operates on subjective beliefs about the world, and use the term opinion to denote the representation of a subjective belief. Subjective logic operates on opinions and contains standard logical operators in addition to some non-standard operators which specifically depend on belief ownership. An opinion can be interpreted as a probability measure containing secondary uncertainty, and as such subjective logic can be seen as an extension of both probability calculus and binary logic.
منابع مشابه
Reliability Assessment of Power Generation Systems in Presence of Wind Farms Using Fuzzy Logic Method
A wind farm is a collection of wind turbines built in an area to provide electricity. Wind power is a renewable energy resource and an alternative to non-renewable fossil fuels. In this paper impact of wind farms in power system reliability is investigate and a new procedure for reliability assessment of wind farms in HL1 level is proposed. In proposed procedure, application of Fuzzy – Markov f...
متن کاملExtending Probabilistic Datalog
In [Fuhr 95], we have proposed probabilistic Datalog (pD) as an inference engine for IR. However, a closer look at pD shows that it handles conditional probabilities only in a rather limited way, since it neither allows for the speci cation of conditional probabilities in rules nor is it able to compute conditional probabilities. Given that probabilistic IR should be interpreted as computing th...
متن کاملProbabilistic Logic under Uncertainty
Probabilistic logic combines the capability of binary logic to express the structure of argument models with the capacity of probabilities to express degrees of truth of those arguments. The limitation of traditional probabilistic logic is that it is unable to express uncertainty about the probability values themselves. This paper provides a brief overview subjective logic which is a probabilis...
متن کاملProbabilities on Sentences in an Expressive Logic
1 Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higherorder logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using gra...
متن کاملIndirect Adaptive Interval Type-2 Fuzzy PI Sliding Mode Control for a Class of Uncertain Nonlinear Systems
Controller design remains an elusive and challenging problem foruncertain nonlinear dynamics. Interval type-2 fuzzy logic systems (IT2FLS) incomparison with type-1 fuzzy logic systems claim to effectively handle systemuncertainties especially in the presence of disturbances and noises, but lack aformal mechanism to guarantee performance. In contrast, adaptive sliding modecontrol (ASMC) provides...
متن کاملBee colony optimization for the satisfiability problem in probabilistic logic
This paper presents the first heuristic method for solving the satisfiability problem in the logic with approximate conditional probabilities. This logic is very suitable for representing and reasoning with uncertain knowledge and for modeling default reasoning. The solution space consists of variables, which are arrays of 0 and 1 and the associated probabilities. These probabilities belong to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
دوره 9 شماره
صفحات -
تاریخ انتشار 2001